Add Bug#1995-05-30T23:07:27Z!kwzh@gnu.org to latest ChangeLog entry.

(I found this bug report after installing the change.)

diff --git a/src/ChangeLog b/src/ChangeLog
index 71fc1056391c90ced14f5919abca73cabfcbf17f..79424fd7cb107c757d5656474b60de2656163594 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,6 @@
 2012-07-26  Paul Eggert  <eggert@cs.ucla.edu>
 
-       Simplify export of symbols to GDB; fix related .gdbinit bugs.
+       Simplify export of symbols to GDB (Bug#12036).
        * .gdbinit (xgetptr, xgetint, xgettype): Don't use "set $bugfix =
        $bugfix.i", as this doesn't work (with GDB 7.4.1, anyway).
        (xgetptr, xgetint, xgettype, xcoding, xcharset, xprintbytestr):